Formal methods in dynamic software updating: a survey

A Survey of Formal Software Development Methods

A Survey: Applying Formal Methods to a Software Intensive System

This paper surveys various formal approaches that could be used to facilitate the development of the train control system described in BART case study. This system is interesting because train control must take into account complex behaviors, positional uncertainties, noise, continuous aspects, and a prede ned computational architecture. The approaches discussed are works in progress and are no...

Formalizing Dynamic Software Updating

Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still little rigorous understanding of how to use DSU technology so that updates are safe. As a first step in this direction, we introduce a small update calculus with a precise mathematical semantics. The ca...

A survey of formal software development methods 1

Formal Methods in Software Product Lines: Concepts, Survey, and Guidelines

Based upon our survey of the literature, software product lines is a fertile research field for the application of formal methods. Most computer scientists and software practitioners, including software product lines researchers, are not exploiting the powerful tools and techniques available in modern formal methods. This paper (i) summarizes the core of modern applied formal methods, (ii) disc...